#ifndef ANX_RTOS_H
#define ANX_RTOS_H

#include "Anx_config.h"


/* Public define ------------------------------------------------------------*/
/* Public variables ---------------------------------------------------------*/
extern unsigned long FreeRTOS_RunTimeTicks;


/* Public typedef ---------------------------------------------------------*/

/* Public functions ---------------------------------------------------------*/
void configureTimerForRunTimeStats(void);
unsigned long getRunTimeCounterValue(void);

#endif
/*************************** End of file ****************************/
